联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

如何避免企业在开发MIS中的失败

本文从认识、技术及管理几个方面论述了MIS建设失败的原因,阐述了企业如何避免MIS开发的失败以及企业如何选择协作单位来开发MIS。     

Digital Aircraft Sheet Metal Part Manufacturing System and Its Key Technology

The architecture of digital sheet metal manufacturing system is proposed based on the classification of sheet metal manufacturing information.The essence of digital manufacturing is the definition,management and transfer of information,and the key technologies are brought forward and described.It is pointed out that knowledge-based manufacturing elements design is necessary to make digital technology efficient.The management of all kinds of sheet metal manufacturing element information is to build single source of manufacturing data.Multi-state model-based digital transfer and coordination method is designed to provide a foundation for digital manufacturing of aircraft sheet metal part.The application of digital sheet metal manufacturing is exemplified with an aircraft sheet metal part.The application result is compared to that of the traditional analog transfer technology.It is shown that the developed technology can improve part quality,shorten manufacturing time and lower manufacturing cost.     

数字式射击瞄准计算机设计与实现

某型射击军械系统的射瞄计算机原采用模拟机电式技术实现,存在体积大、功耗大、可靠性及可维护性差等缺点,因此,使用数字式计算机技术对其进行升级改造势在必行.本文首先对原系统的火控原理及火控构型的进行了分析;其次,介绍了射击瞄准计算机的对外接口关系.重点介绍了数字式射击瞄准计算机的采样解算时间的确定、计算方法的选取及接口设计等内容.本文所设计的数字式射击瞄准计算机已通过了系统验证并得到了使用,克服了原有系统所存在的固有缺点.文中的设计思想与所用的工程方法对类似武器系统的升级改造有所借鉴.     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

计算机辅助工时定额管理系统

介绍了南飞公司劳资处开发的计算机辅助工时定额管理系统的主要功能，系统特点及运行效果等。     

星上计算机几种离散化算法的比较

本文陈述并比较了连续时间系统的各种时间-离散化方法,认为阶跃响应不变(或零阶保持器)法比较适于工程实际应用.对分子分母均为二阶连续系统,分母阻尼系数D_2大于1.0、小于1.0或等于1.0这三种情况分别给出了用阶跃响应不变的时间-离散化法得到的差分方程和状态空间方程各项系数的解析计算式.讨论了差分方程形式和状态空间方程形式的等价性问题.最后说明了一个带有液体晃动和太阳帆板挠性特性的三轴稳定卫星姿态控制器是相当复杂的,星上计算机的工作量也是相当大的,因此要防止计算机出现计算饱和问题并同时注意到截断误差问题.     

基于车辆定位的北京公交智能调度指挥系统

介绍了先进的北京市公共交通智能调度指挥系统 ,包括其各个子系统。着重描述其中的公交车辆定位系统 ,该系统采用高精度的差分 GPS、无线数据传输和话音调度 ,利用已有的模拟集群通信系统 ,终端显示为先进的地理信息系统。整个系统将给调度员提供方便、直观、含位置及状态的全方位车辆信息 ,提高公共交通运营的效率